On the Reliability of AI Planning Software in Real-Time Applications
نویسندگان
چکیده
We define the reliability of a real-time system incorporating AI planning programs as the probability that, for each problem-solving request issued from the environment, the embedded system can successfully plan and execute a response within a specified real-time deadline. A methodology is developed for evaluating the reliability of such systems taking into consideration the fact that, other than program bugs, the intrinsic characteristics of AI planning programs may also cause the embedded system to fail even after all software bugs are removed from the program. The utility of the methodology is demonstrated by applying it to the reliability evaluation of two AI planning algorithms embedded in a real-time multicriteria route-finding system. Index ItemsArtificial intelligence (AI), hetiristics, AI planning software, real-time, reliability analysis, overall hardware/software system reliability.
منابع مشابه
Test Case Generation as an AI Planning
While Artiicial Intelligence techniques have been applied to a variety of software engineering applications, the area of automated software testing remains largely unexplored. Yet, test cases for certain types of systems (e.g., those with command language interfaces and transaction based systems) are similar to plans. We have exploited this similarity by constructing an automated test case gene...
متن کاملFailure Probability and Remaining Life Assessment of Reheater Tubes
In this study, a real and significant industrial problem in a steam power plant was investigated. Reheater tubes in boilers are under the creep and the fireside corrosion mechanism that cause some of them to fail. Since the estimation of probability of failure (PoF) and remaining life (RL) is expensive and time consuming in the deterministic methods, in this work they were evaluated using struc...
متن کاملAi Planning in Supervisory Control Systems
This paper presents an AI-planning-based framework to support the activities of a human operator in a supervisory control system. The framework uses an AI planning and learning substrate architecture and is designed for integration within a general third-party real time software. Our goal is to build a test-bed architecture for research in AI planning applications, such as electrical and indust...
متن کاملStand-Allocation System (SAS): A Constraint-Based System Developed with Software Components
tion developed for the Hong Kong International Airport (HKIA) at Chek Lap Kok. SAS uses constraint-programming techniques to assign parking stands to aircraft and schedules tow movements based on a set of business and operational constraints. The system provides planning, real-time operation, and problem-solving capabilities. SAS generates a stand-allocation plan that finely balances the object...
متن کاملA Methodology for Systematic Verification of OPS5-Based AI Applications
One of the critical problems in putting AI applications into use in the real world is the lack of sufficient formal theories and practical took that aid the process of reliability assessment. Adhoc testing, which is widely used as a means of verification, serves limited purpose. A need for systematic verification by compile-time analysis exists. In this article, we focus our attention on OPS5-b...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- IEEE Trans. Knowl. Data Eng.
دوره 7 شماره
صفحات -
تاریخ انتشار 1995